fmap(f)(alpha(h)) == alpha(f compose h)